Storm-dft 1.5.1
Date: Thu Apr 30 22:53:31 2020
Command line arguments: --dftfile hecs.false-3-2.dft --timebound 1 --max --sound --precision 1e-6
Current working directory: /
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 2901
Transitions: 22405
Reward Models: none
State Labels: 4 labels
* system_dc -> 0 item(s)
* system_failed -> 0 item(s)
* init -> 1 item(s)
* failed -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
WARN (numerical.cpp:130): Fox-Glynn: right = 627 >> lambda = 400, cannot bound the right tail. The results are unreliable.
ERROR (numerical.cpp:222): Fox-Glynn: 627 > 600, underflow is possible.
WARN (numerical.cpp:130): Fox-Glynn: right = 627 >> lambda = 400, cannot bound the right tail. The results are unreliable.
ERROR (numerical.cpp:222): Fox-Glynn: 627 > 600, underflow is possible.
Times:
Exploration: 0.216s
Building: 0.000s
Bisimulation: 0.000s
Modelchecking: 0.034s
Total: 0.251s
Result: [3.629334822e-08]